home *** CD-ROM | disk | FTP | other *** search
/ PD Collection CD 1 / PD Collection CD 1.iso / textual / tex / files / !tex / bibinputs / logic / bib
Encoding:
Text File  |  1990-02-28  |  17.3 KB  |  606 lines
  1.  
  2.  
  3.  
  4.  
  5.  
  6.         @incollection{
  7. Acz77,
  8.         author="Aczel, Peter",
  9.         title="An introduction to inductive definitions",
  10.         booktitle="Handbook of mathematical logic",
  11.         editor="Barwise, J.",
  12.         publisher="North-Holland, Amsterdam",
  13.         year="1977"}
  14.  
  15.         @incollection{
  16. Acz80,
  17.         author="Aczel, Peter",
  18.         title="Frege structures and the notions of proposition, truth
  19.                and set",
  20.         booktitle="The Kleene symposium",
  21.         editors="Barwise, J., Keisler, H.J., Kunen, K.",
  22.         publisher="North-Holland, Amsterdam",
  23.         year="1980"}
  24.  
  25.         @book{
  26. Acz88,
  27.         author="Aczel, Peter",
  28.         title="Non-well-founded sets",
  29.         publisher="CSLI Lecture Notes Number 14",
  30.         year="1988"}
  31.  
  32.         @misc{
  33. Acz:tso,
  34.         author="Aczel, Peter",
  35.         title="A theory of structured objects",
  36.         howpublished="Unfinished draft",
  37.         year="1988"}
  38.  
  39.  
  40.         @misc{
  41. AczMen,
  42.         author="Aczel, Peter and Paul F. Mendler",
  43.         title="A final coalgebra theorem",
  44.         howpublished="Preliminary draft",
  45.         year="1988"}
  46.  
  47.  
  48.         @book{
  49. Bar75,
  50.         author="Barwise, Jon",
  51.         title="Admissible sets and structures",
  52.         publisher="Springer-Verlag, Berlin",
  53.         year="1975"}
  54.  
  55.         @incollection{
  56. Bar:ssf,
  57.         author="Barwise, Jon",
  58.         title="The situation in logic -- III: situations, sets and the
  59.                axiom of foundation",
  60.         booktitle="Logic Colloquium '84",
  61.         editor="Wilkie, Alex",
  62.         publisher="North-Holland, Amsterdam",
  63.         year="1985"}
  64.  
  65.         @misc{
  66. Bar:model,
  67.         author="Barwise, Jon",
  68.         title="Notes on a model of a theory of situations",
  69.         howpublished="Manuscript",
  70.         year="1987"}
  71.  
  72.         @misc{
  73. Bar:tfttp,
  74.         author="Barwise, Jon",
  75.         title="A type-free theory of types and propositions",
  76.         howPublished="Manuscript",
  77.         year="1988"}
  78.  
  79.  
  80.         @misc{
  81. Bar:ck,
  82.         author="Barwise, Jon",
  83.         title="The situation in logic -- IV: on the model theory of
  84.                common knowledge",
  85.         howPublished="CSLI Report No. 88-122",
  86.         year="1988"}
  87.  
  88.  
  89.         @misc{
  90. Bar:mfp,
  91.         author="Barwise, Jon",
  92.         title="Mixed fixed points",
  93.         howPublished="To appear",
  94.         year="1989"}
  95.  
  96.         @misc{
  97. Bar:sftp,
  98.         author="Barwise, Jon",
  99.         title="Situations, facts and true propositions",
  100.         howPublished="To appear",
  101.         year="1989"}
  102.  
  103.         @misc{
  104. Bar:mfst,
  105.         author="Barwise, Jon",
  106.         title="A mathematical framework for situation theory",
  107.         howPublished="Unfinished draft",
  108.         year="1989"}
  109.  
  110.         @book{
  111. BarEtc87,
  112.         author="Barwise, Jon and John Etchemendy",
  113.         title="The liar: an essay on truth and circularity",
  114.         publisher="Oxford University Press, Oxford",
  115.         year="1987"}
  116.  
  117.  
  118.         @book{
  119. Bee85,
  120.         author="Beeson, Michael",
  121.         title="Foundations of constructive mathematics",
  122.         publisher="Springer-Verlag, Berlin",
  123.         year="1985"}
  124.  
  125.         @book{
  126. CK73,
  127.         author="Chang, C.C. and H. Jerome Keisler",
  128.         title="Model theory",
  129.         publisher="North-Holland, Amsterdam",
  130.         year="1973"}
  131.  
  132.  
  133.         @incollection(
  134. DeBruijn80, key="DeBruijn 80",
  135.         author="De Bruijn, N.G.",
  136.         title="A survey of the project Automath",
  137.         Booktitle="To H.B. Curry: Essays on Combinatory Logic,
  138.                    Lambda Calculus and Formalism",
  139.         editors="Seldin, J.P. and J.R. Hindley",
  140.         Publisher="Academic Press", Year="1980", pages="579-607")
  141.  
  142.  
  143.         @incollection{
  144. Fef69,
  145.         author="Feferman, Solomon",
  146.         title="Set-theoretic foundations of category theory",
  147.         booktitle="Reports of the Midwest category seminar III,
  148.                    LNM 106",
  149.         publisher="Springer-Verlag, Berlin",
  150.         year="1969"}
  151.  
  152.         @incollection{
  153. Fef75a,
  154.         author="Feferman, Solomon",
  155.         title="A language and axioms for explicit mathematics",
  156.         booktitle="Algebra and logic, LNM 450",
  157.         publisher="Springer-Verlag, Berlin",
  158.         year="1975"}
  159.  
  160.         @incollection{
  161. Fef75b,
  162.         author="Feferman, Solomon",
  163.         title="Non-extensional type-free theories of
  164.                partial operations and classifications {\sc I}",
  165.         booktitle="Proof theory symposium, Kiel 1974, LNM 500",
  166.         publisher="Springer-Verlag, Berlin",
  167.         year="1975"}
  168.  
  169.         @incollection{
  170. Fef77,  Author="Feferman, Solomon",
  171.         Title="Categorical foundations and foundations of category theory",
  172.         booktitle="Logic, foundations of mathematics, and
  173.                    computability theory",
  174.         Publisher="D. Reidel, Dordrecht-Holland", Year="1977"}
  175.  
  176.         @incollection{
  177. Fef79,
  178.         author="Feferman, Solomon",
  179.         title="Constructive theories of functions and classes",
  180.         booktitle="Proceedings of Logic Colloquium '78",
  181.         editors="M. Boffa, D. van Dalen, K. McAloon",
  182.         publisher="North-Holland, Amsterdam",
  183.         year="1979"}
  184.  
  185.         @article{
  186. Fef84,
  187.         author="Feferman, Solomon",
  188.         title="Toward useful type-free theories, {\sc I}",
  189.         journal="Journal of Symbolic Logic",
  190.         volume="49",
  191.         year="1984"}
  192.  
  193.         @misc{
  194. Fef86,
  195.         author="Feferman, Solomon",
  196.         title="Lecture notes, Stanford, spring semester",
  197.         year="1986"}
  198.  
  199.  
  200.         @misc{
  201. Fer:subrec,
  202.         author="Fernando, R.T.P.",
  203.         title="On substitutional recursion over non-well-founded sets",
  204.         howPublished="To appear in LICS '89"}
  205.  
  206.  
  207.         @misc{
  208. Fer:lsas,
  209.         author="Fernando, Tim",
  210.         title="A logical space of abstract situations",
  211.         howPublished="Manuscript",
  212.         year="1988"}
  213.  
  214.  
  215.         @misc{
  216. Fer:mtst,
  217.         author="Fernando, Tim",
  218.         title="From model theory to situation theory",
  219.         howPublished="Unfinished draft",
  220.         year="1989"}
  221.  
  222.  
  223.         @misc{
  224. Fer:arrow,
  225.         author="Fernando, Tim",
  226.         title="An appreciation of arrows between situations",
  227.         howPublished="Unfinished draft",
  228.         year="1989"}
  229.  
  230.  
  231.  
  232.  
  233.         @article(
  234. Fre72,  Author="Freyd, Peter",
  235.         Title="Aspects of topoi",
  236.         Journal="Bull. Austral. Math. Soc.",
  237.         Volume="7",Year="1972",
  238.         Note="1-76, 467-80")
  239.  
  240.  
  241.         @inproceedings(
  242. FrScedrov87,key="Freyd and Scedrov 87",
  243.         Author="Freyd, P. and Scedrov, A.",
  244.         Title="Some semantic aspects of polymorphic lambda calculus",
  245.         Booktitle="IEEE Symp. Logic in Computer Science",
  246.         Month="June",Year="1987",
  247.         pages="315-319")
  248.  
  249.         @incollection(
  250. Girard71, key="Girard 71",
  251.         Author="Girard, J.-Y.",
  252.         Title={Une extension de l'interpretation de {G\"odel} \`a
  253.         l'analyse, et son application \`a l'\'elimination
  254.         des coupures dans l'analyse et la th\'eorie des types},
  255.         Publisher="North-Holland",
  256.         Editor="Fenstad, J.E.",
  257.         Booktitle="2-nd Scandinavian Logic Symposium",
  258.         Year="1971",
  259.         pages="63-92")
  260.  
  261.         @misc(
  262. Girard,key="Girard 72",
  263.         author="Girard, J.Y.",
  264.         title="Interpretation fonctionelle et elimination des
  265.         coupures de l'arithmetique d'ordre superieur",
  266.         Howpublished="These D'Etat, Universite Paris VII",
  267.         Year="1972")
  268.  
  269.         @misc(
  270. Girard85,key="Girard 85",
  271.         author="Girard, J.Y.",
  272.         Title="The system F of variable types, fifteen years later",
  273.         Howpublished="Manuscript",year="1985")
  274.  
  275.  
  276.         @inproceedings(
  277. hhp87,  Author="Harper, R. and Honsell, F. and Plotkin, G.",
  278.         Title="A framework for defining logics",
  279.         Booktitle="Proc. Second IEEE Symp. on Logic in Computer Science",
  280.         Month="June",Year="1987")
  281.  
  282.  
  283.         @article(
  284. Henkin, Author="Henkin, L.",
  285.         key="Henkin 50",
  286.         Title="Completeness in the Theory of Types",
  287.         Journal="Journal of Symbolic Logic",
  288.         Volume="15",Number="2",Month="June",Year="1950",
  289.         Note="pages 81-91")
  290.  
  291.  
  292.         @book{
  293. Hod85,
  294.         author="Hodges, Wilfrid",
  295.         title="Building models by games, LMSST 2",
  296.         publisher="Cambridge University Press, Cambridge",
  297.         year="1985"}
  298.  
  299.  
  300.         @techreport(
  301. hookhowe,Author="Hook, J. and Howe, D.",
  302.         Title="Impredicative strong existential equivalent to type:type",
  303.         Institution="Cornell University",
  304.         Number="TR 86-760",Year="1986")
  305.  
  306.         @incollection(
  307. howard, key="Howard 80",
  308.         Author="Howard, W.",
  309.         Title="The formulas-as-types notion of construction",
  310.         Booktitle="To H.B. Curry: Essays on Combinatory Logic,
  311.         Lambda-Calculus and Formalism",
  312.         Editors="Seldin, J.P. and J.R. Hindley",
  313.         Publisher="Academic Press",
  314.         Year="1980",
  315.         Pages="479-490")
  316.  
  317.         @incollection(
  318. Hyland82, Author="Hyland, J.M.E.",
  319.         Title="The effective topos",
  320.         Booktitle="The L.E.J. Brouwer Centenary Symposium",
  321.         Editors="Troelstra, A.S. and vanDalen, D.",
  322.         Publisher="North-Holland",
  323.         Year="1982",
  324.         Pages="165-216")
  325.  
  326.  
  327.         @article{
  328. kleene45,Author="Kleene, S.C.",
  329.         key="Kleene 45",
  330.         Title="On the interpretation of intuitionistic number theory",
  331.         Journal="J. Symbolic Logic",
  332.         Volume="10",Year="1945",
  333.         Note="pages 109-124."}
  334.  
  335.         @inbook(
  336. kleene71, author="Kleene, S.C.",
  337.         key="Kleene 71",
  338.         Title="Realizability: A retrospective survey",
  339.         Booktitle="Cambridge Summer School in Mathematical
  340.         Logic",
  341.         Publisher="Springer-Verlag Lecture Notes in Mathematics 337",
  342.         Year="1971",Pages="95-112")
  343.  
  344.  
  345.         @incollection{
  346. KocRey77,
  347.         author="Kock, A. and Reyes, G.E.",
  348.         title="Doctrines in categorical logic",
  349.         booktitle="Handbook of mathematical logic",
  350.         editor="Barwise, J.",
  351.         publisher="North-Holland, Amsterdam",
  352.         year="1977"}
  353.  
  354.  
  355.         @book{
  356. LamSco86,Author="Lambek, J. and Scott, P.J.",
  357.         Key="Lambek and Scott 86",
  358.         Title="Introduction to higher-order categorical logic",
  359.         Publisher="Cambridge studies in advanced mathematics 7,
  360.                    Cambridge",
  361.         Year="1986"}
  362.  
  363.  
  364.         @incollection(
  365. Law63,
  366.         author="Lawvere, F. William",
  367.         title="Functorial semantics of algebraic theories
  368.                (Summary of Ph.D. thesis, Columbia University)",
  369.         booktitle="Proceedings, National Academy of Sciences, 50",
  370.         year="1963")
  371.  
  372.         @incollection(
  373. Law75,
  374.         author="Lawvere, F. William",
  375.         title="Continuously variable sets: algebraic geometry =
  376.                geometric logic",
  377.         booktitle="Logic Colloquium '73",
  378.         editors="H.E. Rose and J.C. Shepherdson",
  379.         publisher="North-Holland, Amsterdam",
  380.         year="1975")
  381.  
  382.  
  383.         @book{
  384. Mac71,
  385.         author="MacLane, Saunders",
  386.         title="Categories for the Working Mathematician",
  387.         series="Graduate Texts in Mathematics",Volume="5",
  388.         publisher="Springer-Verlag, New York",
  389.         year="1971"}
  390.  
  391.  
  392.         @unpublished(
  393. mar79,  key={Martin-L\"of 79},
  394.         Author={Martin-L\"of, P.},
  395.         title="Constructive mathematics and computer programming",
  396.         Note="Paper presented at the $\hbox{6}%{th}$ International Congress
  397.                 for Logic, Methodology and Philosophy of Science, Preprint,
  398.                 Univ. of Stockholm, Dept. of Math. 1979",year="1979")
  399.  
  400.         @article(
  401. mqps,   Author="MacQueen, D. and Plotkin, G and Sethi, R.",
  402.         key="MacQueen, Plotkin and Sethi 86",
  403.         Title="An ideal model for recursive polymorphic types",
  404.         journal="Information and Control",
  405.         Volume="71", Number="1/2",
  406.         Year="1986",
  407.         pages="95-130")
  408.  
  409.  
  410.         @inproceedings(
  411. MeyerReinhold,author="Meyer, A.R. and Reinhold, M.B.",
  412.         Title="``Type'' is not a type",
  413.         Booktitle="Proc. 13-th ACM Symp. on Principles of
  414.         Programming  Languages",
  415.         Month="January",Year="1986",
  416.         note="pages 287-295.")
  417.  
  418.  
  419.         @inProceedings(
  420. mmms,   Author="Meyer, A.R. and Mitchell, J.C. and Moggi, E. and
  421.         Statman, R.",
  422.         Title="Empty types in polymorphic lambda calculus",
  423.         Booktitle="Proc. 14-th ACM Symp. on Principles of Programming Languages"
  424. ,
  425.         Year="1987",Note="pages 253-262.")
  426.  
  427.  
  428.         @article(
  429. milner77,Author="Milner, R.",
  430.         key="Milner 77",
  431.         Title="Fully Abstract Models of Typed Lambda Calculi",
  432.         Journal="Theoretical Computer Science",
  433.         Volume="4",Number="1",Year="1977")
  434.  
  435.  
  436.         @article(
  437. milner78,Author="Milner, R.",
  438.         key="Milner 78",
  439.         Title="A Theory of Type Polymorphism in Programming",
  440.         Journal="JCSS",
  441.         Volume="17",Year="1978",
  442.         Note="pages 348-375.")
  443.  
  444.  
  445.         @inproceedings(
  446. mitch84b,Author="Mitchell, J.C.",
  447.         key="Mitchell 84b",
  448.         Title="Type inference and type containment",
  449.         booktitle="Proc. Int. Symp. on Semantics of Data Types,
  450.         Sophia-Antipolis (France), Springer LNCS 173",
  451.         Month="June",Year="1984", Pages="257-278",
  452.         Note="Revised version to appear in Information and Control")
  453.  
  454.  
  455.         @inproceedings(
  456. mitchplt,author="Mitchell, J.C. and Plotkin, G.D.",
  457.         Title="Abstract types have existential types",
  458.         Booktitle="Proc. 12-th ACM Symp. on Principles of
  459.         Programming  Languages",
  460.         Month="January",Year="1985",
  461.         pages="37-51")
  462.  
  463.         @inproceedings(
  464. mitchmey85,author="Mitchell, J.C. and Meyer, A.R.",
  465.         Title="Second-order logical relations",
  466.         Booktitle="Logics of Programs",
  467.         Month="June",Year="1985",
  468.         note="pages 225-236.")
  469.  
  470.         @inproceedings(
  471. mitchpopl86,author="Mitchell, J.C.",
  472.         Title="Representation independence and data abstraction",
  473.         Booktitle="Proc. 13-th ACM Symp. on Principles of
  474.         Programming  Languages",
  475.         Month="January",Year="1986",
  476.         note="pages 263-276.")
  477.  
  478.         @inproceedings(
  479. mitchlisp86,author="Mitchell, J.C.",
  480.         Title="A type-inference approach to reduction
  481.         properties and semantics of polymorphic expressions",
  482.         Booktitle="ACM Conference on LISP and Functional
  483.         Programming",
  484.         Month="August",Year="1986",
  485.         pages="308-319")
  486.  
  487.         @misc(
  488. mitchasl87,Author="Mitchell, J.C.",
  489.         Title="Predicative and impredicative type theories",
  490.         HowPublished="Presentation at 1987 Spring Meeting of
  491.         Assoc. Symbolic Logic", year="1987")
  492.  
  493.         @inproceedings(
  494. mm87,   author="Mitchell, J.C. and Moggi, E.",
  495.         Key="Mitchell and Moggi 87",
  496.         Title="Kripke-style models for typed lambda calculus",
  497.         Booktitle="IEEE Symp. Logic in Computer Science",
  498.         Month="June",Year="1987",
  499.         pages="303-314")
  500.  
  501.  
  502.         @article(
  503. plotkin77,Author="Plotkin, G.D.",
  504.         key="Plotkin 77",
  505.         Title="LCF Considered as a Programming Language",
  506.         Journal="Theoretical Computer Science",Volume="13",
  507.         year="1977")
  508.  
  509.         @misc(
  510. plotkin85,Author="Plotkin, G.",
  511.         key="Plotkin 85",
  512.         Title="Denotational semantics with partial functions",
  513.         HowPublished="Lecture notes, C.S.L.I. Summer School,
  514.         Stanford", year="1985")
  515.  
  516.         @inProceedings(
  517. plotkinsterling,Author="G.D. Plotking and C. Sterling",
  518.         Title="A framework for intuitionistic modal logics
  519.         (exrended abstract)",
  520.         Booktitle="Theoretical Aspects of Reasoning About Knowledge",
  521.         Publisher="Morgan Kaufman",Year="1986",pages="399-406")
  522.  
  523.  
  524.  
  525.         @misc{
  526. Plo87,
  527.         author="Plotkin, Gordon",
  528.         title="Notes on a formal theory and model for situation theory",
  529.         howPublished="Manuscript",
  530.         year="1987"}
  531.  
  532.  
  533.  
  534.         @inProceedings(
  535. Rey,    Author="Reynolds, J.C.",
  536.         key="Reynolds 74",
  537.         Title="Towards a Theory of Type Structure",
  538.         Booktitle="Paris Colloq. on Programming",
  539.         Publisher="Springer-Verlag LNCS 19", Year="1974",
  540.         Pages="408-425")
  541.  
  542.  
  543.         @inProceedings(
  544. Rey83,  Author="Reynolds, J.C.",
  545.         key="Reynolds 83",
  546.         Title="Types, Abstraction, and Parametric Polymorphism",
  547.         Booktitle="IFIP Congress",
  548.         Year="1983")
  549.  
  550.         @inProceedings(
  551. Rey84,  Author="Reynolds, J.C.",
  552.         key="Reynolds 84",
  553.         Title="Polymorphism is not Set-Theoretic",
  554.         booktitle="Proc. Int. Symp. on Semantics of Data Types,
  555.         Sophia-Antipolis (France), Springer LNCS 173",
  556.         Publisher="Springer-Verlag", Year="1984",Pages="145-156")
  557.  
  558.         @book{
  559. Sac72,
  560.         author="Sacks, Gerald E.",
  561.         title="Saturated model theory",
  562.         publisher="W.A. Benjamin, Reading, Mass.",
  563.         year="1972"}
  564.  
  565.         @misc(
  566. Scedrov,Author="Scedrov, A.",
  567.         Title="Semantical methods for polymorphism",
  568.         Note="manuscript", year="1987")
  569.  
  570.         @article(
  571. Scott76,author="Scott, D.",
  572.         key="Scott 76",
  573.         Title="Data Types as Lattices",
  574.         Journal="Siam J. Computing",
  575.         Volume="5",Number="3",year="1976",pages="522-587")
  576.  
  577.         @incollection{
  578. Sco80b,
  579.         author="Scott, D.S.",
  580.         title="Relating theories of the lambda calculus",
  581.         booktitle="To H.B. Curry:  Essays on Combinatory Logic,
  582.                    Lambda Calculus and Formalism",
  583.         editors="Seldin, J.P. and J.R. Hindley",
  584.         publisher="Academic Press, London",
  585.         year="1980",
  586.         pages="403-450"}
  587.  
  588.         @inProceedings{
  589. Sco82,
  590.         author="Scott, Dana",
  591.         title="Domains for denotational semantics",
  592.         booktitle="Proc. ICALP '82, Springer LNCS 140",
  593.         publisher="Springer-Verlag, Berlin",
  594.         year="1982"}
  595.  
  596.  
  597.  
  598.  
  599.  
  600.  
  601.  
  602.  
  603.  
  604.  
  605.  
  606.